1. Theory and formal methods of computing 94
پدیدآورنده : / editors, C. Hankin, I. Mackie, R. Nagarajan,original title: At head of title: Imperial College, Department of Computing..
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Computer science--Congresses,Formal methods (Computer science)--Congresses
رده :
QA75
.
5
.
T525
1995
2. Water
پدیدآورنده : R. Nagarajan,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Arid regions- Water-supply- Management,Water harvesting,Water use,Water quality management
رده :
TD
.
N33
353
2006